You have chosen Letters to Leibniz, Conditional Assertion and Restricted Quantification and Letters to Leibniz.
All three must be different; choose another text.